Abstract object - PDFSEARCH.IO - Document Search Engine

Abstract object
Results: 832

#	Item
321	Precise Reasoning for Programs Using Containers Isil Dillig Thomas Dillig Alex Aiken Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2011-01-25 02:18:41 Abstract data types C++ Standard Library Associative arrays Object-oriented programming Data types Symbol Iterator Container Associative containers Computing Software engineering Computer programming
322	Emerging Patterns in Adaptive, Distributed Real-Time, Embedded Middleware Joseph P. Loyall, Paul Rubel, Richard Schantz, Michael Atighetchi, John Zinky BBN Technologies Abstract Distributed real-time embedded (DRE) appli Add to Reading List Source URL: www.hillside.net Language: English - Date: 2004-02-16 17:18:28 Computer programming Network performance Streaming Telecommunications engineering Teletraffic Quality of service Common Object Request Broker Architecture TAO Middleware Computing Software engineering CORBA
323	Tool Demonstration Abstract: OpenModelica and CasADi for Model-Based Dynamic Optimization Alachew Shitahun1 Vitalij Ruge2 Add to Reading List Source URL: www.ep.liu.se Language: English - Date: 2013-03-26 11:28:54 Software engineering Software Operations research Modelica Mathematical optimization Control theory JModelica.org Optimal control Model predictive control Simulation software Application software Object-oriented programming
324	Don’t Mock Me: Design Considerations for Mock Objects Jeff Langr Langr Software Solutions Abstract Mock objects, an object-oriented testing construct Add to Reading List Source URL: agile2004.agilealliance.org Language: English - Date: 2004-06-14 09:06:18 Extreme programming Software testing Software design patterns Method Object-oriented programming Mock object Unit testing Test-driven development Factory method pattern Software development Computing Software engineering
325	Optimal Inter-Object Correlation When Replicating for Availability Haifeng Yu Phillip B. Gibbons Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2007-06-14 22:31:40 Algebraic geometry Field theory Valuation PP Combinatory logic Assignment Grothendieck topology Lambda calculus Theoretical computer science Abstract algebra Mathematics
326	Exploring the synergies between the Object-Oriented paradigm and Mathematics: a Java led approach MARC CONRAD Department of Computing and Information Systems University of Luton Park Square, Luton, LU1 3JU, United Kingdo Add to Reading List Source URL: ring.perisic.com. Language: English - Date: 2003-12-13 23:14:28 Algebraic structures Field theory Mathematical structures Ring theory Polynomial Emmy Noether Ring Field Finite field Abstract algebra Algebra Mathematics
327	PR2 Looking at Things – Ensemble Learning for Unstructured Information Processing with Markov Logic Networks Daniel Nyga1 , Ferenc Balint-Benczedi2 and Michael Beetz2 Abstract— We investigate the perception and reas Add to Reading List Source URL: ai.uni-bremen.de Language: English - Date: 2015-02-04 06:50:04 Mental processes Knowledge Cognitive science Vision Computer vision Object recognition 3D single object recognition Philosophy of perception Color Mind Perception Philosophy of mind
328	Tool Demonstration Abstract: OpenModelica Graphical Editor and Debugger Add to Reading List Source URL: www.ep.liu.se Language: English - Date: 2013-03-26 11:29:38 Object-oriented programming Simulation software Modelica Debuggers GNU Debugger Debugging Integrated development environment Breakpoint MathModelica Computer programming Software engineering Computing
329	EFFICIENT WORKFLOWS FOR AUTOMATED RICH METADATA PRODUCTION Richard Kirk, Red Bee Media, UK Ben Schofield, EIDR, UK Don Dulchinos, EIDR, US ABSTRACT Add to Reading List Source URL: www.eidr.org Language: English - Date: 2015-02-04 16:35:44 Metadata Universal identifiers Broadcast engineering ISO/IEC 11179 Digital object identifier International Standard Audiovisual Number Material Exchange Format Digital supply chain Globally unique identifier Information Data Identifiers
330	A Stable Graph-Based Representation for Object Recognition through High-Order Matching A. Albarelli, F. Bergamasco, L. Rossi, S. Vascon and A. Torsello Universit`a Ca’ Foscari Venezia www.dais.unive.it Abstract Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2015-03-30 09:03:51 Vertex Nearest neighbor graph Object recognition Graph coloring Graph operations Edge coloring Graph theory Graph Matching

UPDATE